6 Shflilfdwlrq Ri Dq ( [ Hfxwru Ri ( [ Whqghg 6 Lpsoh & Roruhg 3 Hwul 1 Hwv
نویسندگان
چکیده
We present a formal specification of an executor of Extended Simple Colored Petri Nets (ESCP-nets), meant to be externally supervised. The execution of an ESCP-net proceeds through discrete steps, each performed in response to a call from an external supervisor, in charge of indicating which controlled transitions are allowed to fire and which tokens can be assigned to their controlled variables. We have realized an object-oriented C++ implementation of the executor, as part of an industrial project for Demag-Italimpianti (the largest Italian industry producing plants). After giving the specification of the executor, we also discuss some implementation issues.
منابع مشابه
6 Lpsoh & Roruhg 3 Hwul 1 Hwv
Petri Nets (P-nets) are widely used in many fields. Because of their simple working, many formal analysis and synthesis methods are applicable to them, and furthermore P-net-based software tools can be implemented with relative ease. However, P-nets are inconvenient to use in very large and complex applications. Colored Petri Nets (CP-nets) provide much more convenience and compactness than P-n...
متن کامل0 Rgholqj , Qwhurujdql ] Dwlrqdo : Runiorzv Zlwk ; 0 / 1 Hwv
$EVWUDFW (IILFLHQW LQWHURUJDQL]DWLRQDO EXVLQHVV SURFHVVHV LQ WKH ILHOG RI H FRPPHUFH UHTXLUH WKH LQWHJUDWLRQ RI HOHFWURQLF GRFXPHQW DQG GDWD LQWHUFKDQJH DQG LQWHURUJDQL]DWLRQDO SURFHVVHV :H SURSRVH WR VXSSRUW LQWHURUJDQL]DWLRQDO EXVLQHVV SURFHVVHV E\ VR FDOOHG ;0/ QHWV D QHZ NLQG RI KLJK OHYHO 3HWUL QHWV ;0/ QHWV DUH D IRUPDO JUDSKLFDO PRGHOLQJ ODQJXDJH WKDW DOORZV WR PRGHO ERWK WKH IORZ RI ;0/...
متن کاملExtraction of Polish Named-Entities
,QWURGXFWLRQ 1DPHG HQWLWLHV 1( FRQVWLWXWH VLJQLILFDQW SDUW RI QDWXUDO ODQJXDJH WH[WV DQG DUH ZLGHO\ H[SORLWHG LQ YDULRXV 1/3 DSSOLFDWLRQV $OWKRXJK FRQVLGHUDEOH ZRUN RQ QDPHG HQWLW\ UHFRJQLWLRQ 1(5 IRU IHZ PDMRU ODQJXDJHV H[LVWV UHVHDUFK RQ WKLV WRSLF LQ WKH FRQWH[W RI 6ODYRQLF ODQJXDJHV KDV EHHQ DOPRVW QHJOHFWHG 6RPH 1(5 V\VWHPV IRU %XOJDULDQ DQG 5XVVLDQ FRQVWUXFWHG E\ DGDSWLQJ WKH IDPRXV LQIRU...
متن کامل6 Ljqdolqj 3 Huirupdqfh 0 Hdvxuhphqwv Ri Dq , Qwhudfwlyh 0 Xowl 0 Hgld 5 Hwulhydo 6 Huylfh Lq D % Urdgedqg , Qwhooljhqw 1 Hwzrun
$EVWUDFW ,Q WKLV SDSHU ZH UHSRUW RQ WKH UHVXOWV RI SHUIRUPDQFH PHDVXUHPHQWV IRU DQ LQWHJUDWHG % ,6'1 ,QWHOOLJHQW 1HWZRUN VLJQDOLQJ QHWZRUN 7KH VSHFLILFDWLRQ LPSOHPHQWDWLRQ DQG UHDOL]DWLRQ DV ZHOO DV WKH SHUIRUPDQFH PHDVXUHPHQWV DUH DOO SDUW RI D (XURSHDQ SURMHFW QDPHG ,16,*1,$ 7KH UHVXOWV UHSRUWHG LQ WKLV SDSHU SHUWDLQ WR WKH VLJQDOLQJ V\VWHP EXLOW LQ WKH VHFRQG WULDO RI WKH SURMHFW DQG SHUWDLQ...
متن کاملGrid-Enabling Natural Language Engineering By Stealth
:H GHVFULEH D SURSRVDO IRU DQ H[WHQVLEOH FRPSRQHQW EDVHG VRIWZDUH DUFKLWHFWXUH IRU QDWXUDO ODQJXDJH HQJL QHHULQJ DSSOLFDWLRQV 2XU PRGHO OHYHUDJHV H[LVWLQJ OLQ JXLVWLF UHVRXUFH GHVFULSWLRQ DQG GLVFRYHU\ PHFKDQLVPV EDVHG RQ H[WHQGHG 'XEOLQ &RUH PHWDGDWD ,Q DGGLWLRQ DSSOLFDWLRQ GHVLJQ LV IOH[LEOH DOORZLQJ GLVSDUDWH FRP SRQHQWV WR EH FRPELQHG WR VXLW WKH RYHUDOO DSSOLFDWLRQ IXQFWLRQDOLW\ $Q DSSOLFD...
متن کامل